Turing Award - PDFSEARCH.IO - Document Search Engine

Turing Award
Results: 191

#	Item
61	Introduction LTL model checking CTL model checking Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-01 22:24:18 Formal methods Theoretical computer science Model checkers Logic in computer science Kripke structure PAT Binary decision diagram Turing Award Algorithm Model checking Mathematics Temporal logic
62	Ring The The journal of the Cambridge Computer Lab Ring Issue XXXIII — May 2013 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-06-02 19:48:11 Mathematics Computational science Fellows of the British Computer Society Turing Award laureates Computer science Numerical analysis Numerical stability Algorithm University of Cambridge Computer Laboratory Fellows of the Royal Society Applied mathematics Science
63	Internet 0: Past, Present, and Future October 1, 2004 SPEAKER BIOGRAPHIES Bob Briscoe Add to Reading List Source URL: cba.mit.edu Language: English - Date: 2011-12-13 18:50:29 Turing Award laureates Year of birth missing Bob Kahn Leonard Kleinrock Packet switching Institute of Electrical and Electronics Engineers ARPANET Danny Cohen Lawrence Roberts Computing Technology Science and technology in the United States
64	ENGELBART AND THE DAWN OF INTERACTIVE COMPUTING SRI’S REVOLUTIONARY 1968 DEMO A 40 th Anniversary Celebration D E CE M B E R 9, 2008 Add to Reading List Source URL: www.sri.com Language: English - Date: 2014-09-27 21:44:05 Turing Award laureates Douglas Engelbart Futurologists Lemelson–MIT Prize SRI International Jeff Rulifson Augmentation Research Center William English NLS Computing Technology Science
65	197 7 ACM Turing Award Lecture The 1977 A C M Turing Award was presented to John Backus at the A C M Annual Conference in Seattle, October 17. In introducing the recipient, Jean E. Sammet, Chairman of the Awards Committ Add to Reading List Source URL: worrydream.com Language: English - Date: 2013-07-16 19:44:03 Models of computation Logic in computer science Functional languages Programming paradigms Lambda calculus John von Neumann Denotational semantics FP Functional programming Software engineering Computing Mathematics
66	Functional Parameterized Unit Testing Add to Reading List Source URL: sccpu2.cse.ust.hk Language: English Functional languages Lisp programming language Alan Turing Association for Computing Machinery Turing Award Interlisp ACL2 Xerox Alto Sketchpad Computing Software engineering Turing Award laureates
67	Honorary Doctor of Science Professor Andrew YAO Chi-chih Citations written and delivered by Professor CHENG Pei-kai Chairman: Professor Andrew Yao was the Year 2000 Winner of the Alan Turing Award, Add to Reading List Source URL: www.cityu.edu.hk Language: English - Date: 2003-12-01 01:37:09 Academia Andrew Yao Fellows of the Royal Society Turing Award Alan Turing Frances Yao Turing Award laureates Science Computer science
68	The birth of Simula Stein Krogdahl Department of Informatics, University of Oslo, Norway [removed] This paper is published in the proceedings of the HiNC 1 Conference in Trondheim, June[removed]IFIP WG 9.7, in coo Add to Reading List Source URL: heim.ifi.uio.no Language: English - Date: 2003-10-24 08:44:10 Procedural programming languages Turing Award laureates Simula Object-oriented programming Ole-Johan Dahl ALGOL BETA Kristen Nygaard Actor model Software engineering Computing Computer programming
69	[3B2-14] man2010020058.3d[removed] Add to Reading List Source URL: www.computer.org Language: English - Date: 2012-02-28 14:48:22 Procedural programming languages ALGOL Klaus Samelson Turing Award Programming language Peter Naur XPL SMALL Alan Perlis Software engineering Computing Programming language theory
70	CONTACT: Virginia Gold[removed]removed] Add to Reading List Source URL: awards.acm.org Language: English - Date: 2015-01-08 10:48:10 Academia Computing Ubiquitous computing Turing Award W. Wallace McDowell Award Computer science Association for Computing Machinery Science

UPDATE